#include <stdint.h>

int32_t addz(uint8_t* x, uint8_t len);